The doctrine of Irresistible Grace